A Machine That Knows Its Own Code
نویسنده
چکیده
We construct a machine that knows its own code, at the price of not knowing its own factivity.
منابع مشابه
Do the Self-Knowing Machines Dream of Knowing Their Factivity?
The Gödelian Arguments represent the effort done to interpret Gödel’s Incompleteness Theorems in order to show that minds cannot be explained in purely mechanist terms. With the purpose of proving the limits of mechanistic theses and investigate aspects of the ChurchTuring Thesis, several results obtained in the formal setting of Epistemic Arithmetic (EA) reveal the relation among different pro...
متن کاملA Data Mining approach for forecasting failure root causes: A case study in an Automated Teller Machine (ATM) manufacturing company
Based on the findings of Massachusetts Institute of Technology, organizations’ data double every five years. However, the rate of using data is 0.3. Nowadays, data mining tools have greatly facilitated the process of knowledge extraction from a welter of data. This paper presents a hybrid model using data gathered from an ATM manufacturing company. The steps of the research are based on CRISP-D...
متن کاملThe Java Virtual
Compilation can be slow because it is not simple to translate from a high-level source language to lowlevel languages. But once this translation is done, it can result in fast code. Traditionally, the target language of compilers is machine code, which the computer’s processor knows how to execute. This is an instance of the second method for running code: interpretation, in which an interprete...
متن کاملCS262A Midterm Solutions
[Yahel Ben-David:] I’ll presume the hardware used is the easier case of MIPS. The x86 architecture complicates things as some instructions may silently fail if not run under a real “ring-0” privileges. Before delving into the flow of control for handling a system-call (syscall) on a virtualized system, let’s briefly discuss what happens in a traditional setting (without virtualization): When th...
متن کاملHVL evaluation of orthovoltage X-ray machine using EGSnrc code of simulation
Background: Making use of the orthovoltage machines in Radiotherapy, is one of the routine methods for the treatment of the superficial lesions. In this study, an important determinant of X-ray quality, the HVL (Half Value Layer), has been evaluated. Materials and Methods: The HVLs of a orthovoltage X-ray machine in 120 and 180 kVp are measured, using an empirical method, in which the HVLs are ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Studia Logica
دوره 102 شماره
صفحات -
تاریخ انتشار 2014